Complétude, pt. 3